@InProceedings{Obua-RTA06,
  author =       {Steven Obua},
  title =        {Checking Conservativity of Overloaded Definitions in
                  Higher-Order Logic},
  booktitle =    {Proceedings of the International Conference on Rewriting Techniques and Applications~(RTA)},
  year =         2006,
  note =         {To appear.}
}
